2024-08-24 Functional Programming in Lean
Alternatives - Functional Programming in Lean
Lean 型クラス
Haskell モナド
Many
.noneはnil
.moreはcons
guard